Generating infinite monoids of cellular automata

نویسندگان

چکیده

For a group $G$ and set $A$, let $\text{End}(A^G)$ be the monoid of all cellular automata over $A^G$, $\text{Aut}(A^G)$ its units. By establishing characterisation surjunctuve groups in terms $\text{End}(A^G)$, we prove that rank (i.e. smallest cardinality generating set) is equal to plus relative latter infinite when has an decreasing chain normal subgroups finite index, condition which satisfied, for example, any residually group. Moreover, $A=V$ vector space field $\mathbb{F}$, study $\text{End}_{\mathbb{F}}(V^G)$ linear $V^G$ units $\text{Aut}_{\mathbb{F}}(V^G)$. We show if indicable $V$ finite-dimensional, then not finitely generated; however, generated $G$, $\text{Aut}_{\mathbb{F}}(\mathbb{F}^G)$ only $\mathbb{F}$ finite.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cellular Automata Using Infinite Computations

This paper presents an application of the Infinite Unit Axiom, introduced by Yaroslav Sergeyev, (see [11] [14]) to the development of one-dimensional cellular automata. This application allows the establishment of a new and more precise metric on the space of definition for one-dimensional cellular automata, whereby accuracy of computations is increased. Using this new metric, open disks are de...

متن کامل

Liquiprism : Generating Polyrhythms with Cellular Automata

This paper describes a MIDI instrument for the generative composition of polyrhythmic patterns. Patterns are determined by the activation of cells in a non-homogeneous set of interconnected cellular automata grids which form the faces of a cube in virtual three-dimensional space. This paper discusses the selection of the rules of the cellular automata which enable rhythmic outcomes to be genera...

متن کامل

A classification of one-dimensional cellular automata using infinite computations

This paper proposes an application of the Infinite Unit Axiom and grossone, introduced by Yaroslav Sergeyev (see [15] [19]), to classify one-dimensional cellular automata whereby each class corresponds to a different and distinct dynamical behavior. The forward dynamics of a cellular automaton map are studied via defined classes. Using these classes, along with the Infinite Unit Axiom and gross...

متن کامل

Cellular Automata with an Infinite Number of Subshift Attractors

The concept of an attractor is essential for understanding the dynamics of cellular automata. An attractor is defined as a limit set (intersection of forward images) of a nonempty clopen (closed and open) invariant set. Classification of cellular automata based on the system of their attractors has been considered in Hurley [1] or Kůrka [2]. The basic distinction is between cellular automata wh...

متن کامل

Automatic Design of Cellular Automata for Generating Deterministic Test Patterns

The paper presents implementation of a test pattern generation technique that uses cellular automaton construction based on the analysis of a pre-computed test set. The algorithm is included into the Java applet for automatic synthesis of the built-in self-test structure into a digital circuit modeled in VHDL.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Algebra and Its Applications

سال: 2021

ISSN: ['1793-6829', '0219-4988']

DOI: https://doi.org/10.1142/s0219498822502152